Mediation in the Framework of Morpho-Logic
نویسندگان
چکیده
In this paper we introduce a median operator between two sets of interpretations (worlds) in a finite propositional language. Our definition is based on morphological operations and Hausdorff distance. It provides a result which lies “halfway” between both sets and accounts for the “extension” or “shape” of the sets. We prove several interesting properties of this operator and compare it with fusion operators. This new operator allows performing mediation between two sets of beliefs, preferences, demands, in an original way, showing an interesting behavior that was not possible to achieve using existing operators.
منابع مشابه
A Study on Morpho-Syntactic Patterns: A Cohesive Device in Some Persian Live Sport Radio and TV Talks
Morpho-syntactic patterns device encompasses a subcategory of the cohesive devices that assists hearers to have an adequate mental representation for understanding speech. This article investigates the morpho-syntactic patterns employed in some Persian live sport radio and TV programs adapting Dooley and Levinsohn’s theoretical and analytical framework. The research data includes around 30,000 ...
متن کاملAlternating Regular Tree Grammars in the Framework of Lattice-Valued Logic
In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued) regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is ta...
متن کاملThe Mathematical Morpho-Logical View on Reasoning about Space
Qualitative reasoning about mereotopological relations has been extensively investigated, while more recently geometrical and spatio-temporal reasoning are gaining increasing attention. We propose to consider mathematical morphologic operators as the inspiration for a new language and inference mechanism to reason about space. Interestingly, the proposed morpho-logic captures not only tradition...
متن کاملA Formalism for Context Mediation Based on Feature Logic
This paper describes a formalism for context mediation based on Feature Logic. The formalism enables a distinction to be drawn between integrity and translational aspects of mediation. It is independent of the relational model, though easily used within it. The formalism makes precise the concept of 'context' and provides a framework for mediation between disparate data sources.
متن کاملKorean Parsing in an Extended Categorial Grammar
This paper gives an automatic morpho-syntactical analysis with the ACCG parser which use the Categorial Grammar, the Combinatory Logic in the framework of Cognitive and Applicative Grammar. We focus on the contribution of the parser to the analysis of morphological case system in Korean.
متن کامل